Wyniki
-
Discrete linear temporal logic with current time point clusters, deciding algorithms
V. Rybakov
Logic and Logical Philosophy , 17 /1-2 (2008) s. 143-161 -
Even tabular modal logics sometimes do not have independent base for admissible rules
Vladimir V. Rybakov
Bulletin of the Section of Logic , 24 /1 (1995) s. 37-40 -
The structure of rigid frames of restricted depth
Vladimir V. Rybakov
Bulletin of the Section of Logic , 27 /4 (1998) s. 172-181 -
An explicit basis for rules admissible in modal system S4
Vladimir V. Rybakov
Bulletin of the Section of Logic , 28 /3 (1999) s. 135-144 -
A View of Logical Omniscience Problem
Vladimir V. Rybakov
Bulletin of the Section of Logic , 30 /4 (2001) s. 213-229 -
Unification in Common Knowledge Logics
Vladimir V. Rybakov
Bulletin of the Section of Logic , 31 /4 (2002) s. 207-215 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
Combining Time and Knowledge, Semantic Approach
E. Calarado, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /1 (2005) s. 13-21 -
A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics
V.V. Rimatski, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /2 (2005) s. 93-99 -
Description of self-admissible quasi-characterizing inference rules
Vladimir V. Rybakov, M. Terziler, C. Gencer
Bulletin of the Section of Logic , 27 /4 (1998) s. 164-171 -
An essay on unification and inference rules for modal logics
Vladimir V. Rybakov, M. Terziler, C. Gencer
Bulletin of the Section of Logic , 28 /3 (1999) s. 145-158 -
A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic
M.I. Golovanov, Vladimir V. Rybakov, E.M. Yurasova
Bulletin of the Section of Logic , 32 /4 (2003) s. 213-220 -
Makrokosmos w mikrokosmosie sztuki ludowej
Boris Aleksandrovič Rybakov
Polska Sztuka Ludowa , 40 /3/4 (1986) s. 167-170, 255 -
The issues of environmental safety in the conditions of Eastern-Ukrainian war conflict
V. V. Babienko
Journal of Education, Health and Sport , 5 /5 (2015) s. 487-495 -
Uniwersytet Kultury przy Muzeum Sztuk Plastycznych im. A. S. Puszkina
V. V. Alekseev
Muzealnictwo 12 (1964) s. 154-155 -
Experience of Using Neoton in Combination with Hyperbaric Oxygenation for Ischemic Stroke Treatment
V. J. Teshchuck, V. V. Teshchuck
Journal of Education, Health and Sport , 4 /3 (2014) s. 73-80 -
Характеристика анамнестических, генеалогических и цитогенетических особенностей пациенток с неопластическими процессами матки
V. Zaporozhan, V. Bobrova
Journal of Education, Health and Sport , 4 /1 (2014) s. 75-88 -
The incidence of congenital malformations in children born in consequence of assisted preproductive Technologies taking into account medical history
T. U. Stoeva, V. V. Sinenko, V. V. Sitnik
Journal of Education, Health and Sport , 7 /1 (2017) s. 460-467 -
Tajne rokowania polsko-litewskie
V. Sliogeris
Zeszyty Historyczne (Paryż) 31 (252) (1975) s. 46-50